Type-Challeneges 중간 난이도

[[Type-Challeneges 쉬움 난이도]]

Get Return Type

ReturnType<T> 구현하기

type MyReturnType<T> = T extends (...args: any[]) => infer B ? B : never;

Omit

Omit<T, K> 구현하기

type MyOmit<T, K> = {
  [key in keyof T as key extends K ? never : key]: T[key];
}

여기서 as 의 역할, key에 대한 조건을 후술할 수 있다.

Readonly

T의 속성중 K를 readonly로 설정하는 타입 구현, K가 주어지지 않으면 전부 readonly

type MyReadonly2<T, K = keyof T> = {
  readonly [key in keyof T as key extends K ? key: never]: T[key];
} & {
  [key in keyof T as key extends K ? never : key]: T[key];
}

Omit<T,K> 을 이용하여 작성할 수 있다. generic작성과 마찬가지로 타입이 명시되지 않은 경우 기본값을 지정해줄 수 있다.

Deep Readonly

오브젝트와 오브젝트 내 모든 오브젝트를 재귀적으로 readonly로 만드는 제너릭 타입형을 구현하라

type DeepReadonly<T> = {
  readonly [key in keyof T]: T[key] extends Record<string, unknown> ? DeepReadonly<T[key]> : T[key]; 
};

Record<string, unknown> vs. Record<string, any> vs. object ???

• interface는 Record<string, unknown> 는 아닌데 Record<string, any>는 된다
• Function extends Record<string, any> but not Record<string, unknown>

Tuple to Union

generic TupleToUnion<T> 구현.

type TupleToUnion<T> = T extends any[] ? T[number]: never;

Chainable Options

Chaining을 통해서 속성의 확장이 가능한 타입/클래스 만들기. get을 이용하여 완성된 형태를 반환

type Ch